An Abstract Metamodel for Aspect Languages
نویسندگان
چکیده
AOP is widely accepted as a language concept to improve separation of concerns, but it has often been pointed out that an encompassing theory of aspect composition is as yet missing. We define an abstract metamodel in which we capture the elements that we believe are the typical aspect oriented programming concepts. Also, these elements are crucial to the understanding of the semantics of AOP language constructs. We intend the metamodel to be a first step towards modeling and comparing AOP languages, as well as a foundation to define the semantics of AOP languages.
منابع مشابه
From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach
Security is among the most successful applications of aspectoriented concepts. In particular, in role-based access control, aspects capture access conditions in a quite modular way. The question we address in this paper is how can aspects be generated from access control policies under a validated process? We present a metamodel-based transformation from SecureUML, a rolebased access control la...
متن کاملA Concrete Syntax Derived From the Abstract State Machine Metamodel
In this paper we present a language for Abstract State Machine specifications. The ASM metamodel (AsmM), introduced in [18], is a MOF-compliant metamodel representing in an abstract and visual way the concepts and constructs of the ASMs formalism as described in [3]. Here we present a concrete syntax (AsmM-CS), an EBNF (extended Backus-Naur Form) grammar derived from the AsmM as a textual notat...
متن کاملAspect-Oriented Techniques in Metamodel- Based Model Transformation
Aspect-Oriented Software Development (AOSD) is an emerging area with the goal of promoting advanced separation of concerns throughout the software development lifecycle. AOSD started on programming language level, but it must be applicable on a higher abstraction level as well. This paper provides an overview of aspect-oriented software development, discusses the key AOSD concepts, and presents...
متن کاملModel driven engineering of a tableau algorithm for description logics
This paper presents a method for implementing tableau algorithm for description logics (DLs). The architectures of the present DL reasoners such as RACER or FaCT were developed using programming languages as Java or LISP. The implementations are not based on original definition of the abstract syntax, but they require transformation of abstract syntax into concrete syntax implementation languag...
متن کاملTest Case Generation for Programming Language Metamodels
for Software Language Engineering 2010 Doctoral Symposium Hao Wu Supervisors: Rosemary Monahan and James F. Power Department of Computer Science, National University of Ireland, Maynooth {haowu,rosemary,jpower}@cs.nuim.ie 1 Problem Description and Motivation One of the central themes in software language engineering is the specification of programming languages, and domain-specific languages, u...
متن کامل